Constructive Description Logics Hybrid-Style
نویسندگان
چکیده
منابع مشابه
Constructive Description Logics Hybrid-Style
Constructive modal logics come in several different flavours and constructive description logics, not surprisingly, do the same. We introduce an intuitionistic description logic, which we call iALC (for intuitionistic ALC, since ALC is the name of the canonical description logic system) and provide axioms, a Natural Deduction formulation and a sequent calculus for it. The system iALC is related...
متن کاملConstructive Description Logics: what, why and how
This note discusses possible conceptions of constructive description logics. We discuss why different communities should be interested in constructive description logics, why so little work has been done on this before and why we think it is important. Our goal is a system of constructive contexted description logic, whose contexts are inspired by Guha-McCarthy’s ideas along the lines of the sy...
متن کاملDescription and/or Hybrid Logics
Improving on work by Schild, De Giacomo and Lenzerini, we establish a tight connection between description logics and hybrid logics, and use this to transfer results on complexity and expressive power from one to the other.
متن کاملA note on constructive semantics for description logics
Following the approaches and motivations given in recent works about constructive interpretation of description logics, we introduce the constructive description logic KALC. This logic is based on a Kripke-style semantics inspired by the Kripke semantics for Intuitionistic first order logic. In the paper we present the main features of our semantics and we study its relations with other approac...
متن کاملFrom Description to Hybrid Logics, and Back
Building on work by Schild, De Giacomo and Lenzerini, we establish a tight connection between description logics and hybrid logics. The main aim of the paper is to provide a modal perspective on some of the distinguishing features of description logic. In particular, by working in a hybrid logic setting we are able to develop a model-theoretic understanding of both assertional and terminologica...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Electronic Notes in Theoretical Computer Science
سال: 2011
ISSN: 1571-0661
DOI: 10.1016/j.entcs.2011.06.010